bstc reasoning model paper 2024